/net/redfox.ece.Virginia.EDU/isan0/users/ms3xy/Desktop/synopsys/syn_tut/dve_project/source/fsm_plant_opt.v
